"Michel Bidoit" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

CASL user manual: introduction to using the Common algebraic specification language

Michel Bidoit, Peter D. Mosses

7.62 Mb

#2

TAPSOFT'97: Theory and Practice of Software Development 7 conf

Michel Bidoit, Max Dauchet

Категория: Cs_Computer science, CsLn_Lecture notes

8.19 Mb

#3

Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... 8th

Michel Bidoit, Christine Choppy

3.36 Mb

#4

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

Michel Bidoit, Peter D. Mosses

3.84 Mb